procedure functional type

程序功能型式